Nuprl Lemma : bnot_wf 9,38

b:. (b  
latex


ProofTree


Definitionsb, t  T, x:AB(x)
Lemmasbool wf, btrue wf, bfalse wf, ifthenelse wf

origin